1.
3.
Predicate Calculus and Program Semantics
by Dijkstra, E. W., Scholten, ...
ISBN: 9780387969572
List Price: $89.95
OUT OF STOCK
See Availability on Amazon5.
Constructive Methods in Computing Science : International Summer School Directed by F. L. Ba...
by Bauer, F. L., Broy, M., Dij...
ISBN: 9783642748868
List Price: $99.00
6.
Logic of Programming and Calculi of Discrete Design
by Bauer, F., Broy, M., Dijkst...
ISBN: 9783642873751
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Constructive Methods in Computing Science
by Bauer, F. L., Broy, M., Dij...
ISBN: 9783642748851
List Price: $24.99
OUT OF STOCK
See Availability on Amazon10.
Control Flow and Data Flow : Concepts of Distributed Programming
by Bauer, F. L., Dijkstra, E. ...
ISBN: 9783642829222
List Price: $24.99